xu yang meaning in English
徐扬
徐阳
Examples
- Lattice implication algebra is an algebraic system combinating lattice with implication algebra . it is first defined by professor xu yang in order to study lattice - valued logic
格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。 - In the afternoon together with the columbia xu yang kei village - run guangzhou to a sales representative , also bought a " amway baodianpian " , about a teacher at guangzhou tomorrow ready to tutoring
当天下午跟徐哥一起去广州杨箕村办了销售代表,还买了一本"安利宝典" ,约了广州会场的老师,明天准备去听课 - Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。